Does SAT exhibit fractal behavior?
نویسندگان
چکیده
In this paper we study the structure of the set SAT of all satisfiable propositional logical formulas. In particular we raise the question whether the distribution of SAT within the set A of all propositional formulas exhibits fractal behavior. This answer is of course relative to a metric on A. We show that for one such metric there is strong evidence that the distribution does indeed behave wildly. Next we look at an alternative metric.
منابع مشابه
Comparison Density and Fractal Dimension of Drainage Networks in Different Scales and Precision Different (Case Study: Ilam Watersheds)
Every phenomena in the nature, despite the complexity of the subject, has certain rules and regulations. River pattern and behavior as one of the most complex natural phenomena to this is not an exception. Depending on geomorphologic, climatic, topographic and erosive conditions, the waterways exhibit different patterns and behaviors. One of the parameters which can be achieved using the comple...
متن کاملComputing in the Fractal Cloud: Modular Generic Solvers for SAT and Q-SAT Variants
Abstract geometrical computation can solve hard combinatorial problems efficiently: we showed previously how Q-SAT —the satisfiability problem of quantified boolean formulae— can be solved in bounded space and time using instance-specific signal machines and fractal parallelization. In this article, we propose an approach for constructing a particular generic machine for the same task. This mac...
متن کاملFractal Parallelism: Solving SAT in Bounded Space and Time
Abstract geometrical computation can solve NP-complete problems e ciently: any boolean constraint satisfaction problem, instance of SAT, can be solved in bounded space and time with simple geometrical constructions involving only drawing parallel lines on a Euclidean space-time plane. Complexity as the maximal length of a sequence of consecutive segments is quadratic. The geometrical algorithm ...
متن کاملOn The Behavior of Malaysian Equities: Fractal Analysis Approach
Fractal analyzing of continuous processes have recently emerged in literatures in various domains. Existence of long memory in many processes including financial time series have been evidenced via different methodologies in many literatures in past decade, which has inspired many recent literatures on quantifying the fractional Brownian motion (fBm) characteristics of financial time series. Th...
متن کاملA Structure-Based Variable Ordering Heuristic for SAT
We propose a variable ordering heuristic for SAT, which is based on a structural analysis of the SAT problem. We show that when the heuristic is used by a Davis-Putnam SAT solver that employs conflict-directed backtracking, it produces a divide-and-conquer behavior in which the SAT problem is recursively decomposed into smaller problems that are solved independently. We discuss the implications...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008